Type system - PDFSEARCH.IO - Document Search Engine

Type system
Results: 9144

#	Item
641	Soundness of embeddings in the λΠ-calculus modulo rewriting Ali Assaf Deducteam, Inria Paris-Rocquencourt École Polytechnique Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-12-18 18:53:18 Logic Logic in computer science Dependently typed programming Lambda calculus Proof theory Curry–Howard correspondence First-order logic Logical framework System F Mathematical logic Theoretical computer science Type theory
642	PDF Document Add to Reading List Source URL: www.dvch.org Language: English - Date: 2012-04-20 17:13:09 Childhood psychiatric disorders Allergology Immune system Immunology Eczema Allergic rhinitis Allergy Asthma Gastroesophageal reflux disease Medicine Health Type 1 hypersensitivity
643	Cady-Guyton Residence Type of Construction: Site built /stick frame Date of Completion: Building Size: 2110 sq ft Add to Reading List Source URL: www.wncgbc.org Language: English - Date: 2014-05-07 15:44:40 Heating ventilating and air conditioning Visual arts Building materials Heat transfer Structural system Passive solar building design Building insulation Framing Thermal mass Architecture Construction Sustainable building
644	Artificial pancreas device systems in development for the closed-loop control of type 1 diabetes Add to Reading List Source URL: www.hsc.nihr.ac.uk Language: English Endocrinology Minimed Paradigm Artificial pancreas Insulin therapy Blood glucose monitoring Insulin pump Insulin Diabetes mellitus type 1 JDRF Diabetes Endocrine system Medicine
645	Semantic Subtyping for Objects and Classes Ornela Dardha1 Daniele Gorla2 Daniele Varacca3 Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2014-11-21 05:56:58 Data types Object-oriented programming Programming language theory Subtype polymorphism Type system Polymorphism E Inheritance Lambda calculus Software engineering Type theory Computing
646	OctoberINSULIN USE FOR TYPE 2 DIABETES MANAGEMENT WHAT INSULIN REGIMEN SHOULD Add to Reading List Source URL: www.medicalpharmacies.com Language: English - Date: 2014-10-29 12:18:25 Medicine Eli Lilly and Company Gastroenterology Anti-diabetic drugs Recombinant proteins Exenatide Anti-diabetic medication Insulin analog Insulin glargine Endocrine system Diabetes Peptide hormones
647	Extending Dylan’s Type System for Better Type Inference and Error Detection Hannes Mehnert ∗ IT University of Copenhagen, Denmark Add to Reading List Source URL: www.itu.dk Language: English - Date: 2012-02-16 22:55:34
648	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: schemeworkshop.org Language: English - Date: 2011-08-12 16:48:39 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory
649	Type of Article: Clinical Image Title Page: Title: [Write the manuscript title in title case.] Authors: [List of all author names here including corresponding author; e.g., Author1, Author2, and Author3] Add to Reading List Source URL: www.peertechz.com Language: English - Date: 2014-02-16 04:01:00 Author citation Zoological nomenclature Knowledge SQL Manuscript Email Abbreviation HTML element Vancouver system Bibliography Computing Information
650	Spec. F11-11E BELT WEIGHING UNIT BK For high reliability belt weighers TAC, Type Approval Certificate, according to Add to Reading List Source URL: www.s-e-g.com Language: English - Date: 2001-12-10 10:34:54 Materials handling Beltweigher Belt Conveyor belt Conveyor system Idler Conveyor Measuring instrument Technology Business Engineering

UPDATE